为海军的战区弹道导弹防御设计导弹系统

虽然在敌对国家武库中的大部分战区弹道导弹（ＴＢＭ）都是近程的“飞毛腿”型导弹,但在一些第三世界国家中现在正在研制中程到远程的改型。潜在的威胁存在于以下三个作战空间：大气层内低空（０￣３０公里）;大气层内高空（３０￣７０公里）;大气层外（大于７０公里）。使海军具备区域防御能力的ＳＭ－２ⅣＡ型导弹,适合应付固有的射程近、速度低的大气层内低空威胁。大气层外的战区弹道导弹射程比较远,能够威胁散布范围可能很     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

海平面的眼睛

本文论述了当今世界上正在研制生产的海军红外搜索与跟踪系统的发展情况以及它在防御反舰导弹上的重要作用。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。